Rigorous asymptotic analysis of buckling of thin-walled cylinders under axial compression