A model for the shape of lava flow fronts