The congruence subgroup property for Aut F2: a group-theoretic proof of Asada's theorem