Deep rock mining