It's official: Chris Davis will be in Home Run Derby