Sand infiltration into a gravel bed: A mathematical model