A slip law for hard-bedded glaciers derived from observed bed topography