Glacial quarrying: a simple theoretical model