US president Barack Obama has chosen veteran Army Gen Martin Dempsey to succeed Adm Mike Mullen as chairman of the military Joint Chiefs of Staff.