Critical percolation in the plane: conformal invariance, Cardy's formula, scaling limits