It's official: Shareholders OK Aetna-Humana merger