Google adds real-time collaboration capabilities to Docs tool