Microsoft buys coding database GitHub for $7.5bn