“Because the sex-based distinctions drawn by the Executive Order are not substantially related to achieving the Order’s purpose, the Order does not survive constitutional scrutiny,” the judge wrote.