A variational proof of partial regularity for optimal transportation maps