Microsoft announces plan to acquire GitHub for US$7.5 billion