Mathematical modeling of thermomechanical erosion beneath Proterozoic komatiitic basaltic sinuous rilles in the Cape Smith Belt, New Québec, Canada