The inversion of gravity data into three-dimensional polyhedral models