US ends ban on gays serving openly in military