Soffer’s inequality and the transversely polarized Drell-Yan process at next-to-leading order