Alaska Air buys Virgin America