Partial regularity of optimal transport maps