It's official: Texas A&M to join SEC