Inverse methods in glaciology