Vlasov modelling of laser-driven collisionless shock acceleration of protons