A mechanistic model for river incision into bedrock by saltating bed load