Constraints on subglacial conditions from mechanical models of ice stream processes