Constraints on the structure of the Himalaya from an analysis of gravity anomalies and a flexural model of the lithosphere