Back-filling, leveling, and compacting gravel