Aston Villa complete signing of Arsenal keeper Martinez for £20m