Peccei-Quinn symmetry