A four-dimensional Vlasov solver for microbunching instability in the injection system for X-ray FELs