Gravity in 2+1 dimensions