Gravel-cement plants