It's official: Jimmy Buffet to play Bonnaroo