Bearing Capacity of Piles Driven into Rock