A theory of glacial quarrying for landscape evolution models