Proof of Mostow rigidity I: extension of quasi-isometries