Bedrock erosion in subglacial channels