Oud-Microsoft-baas Ballmer had spraakassistent Cortana liever Bingo genoemd