PhyDA: Physics-Guided Diffusion Models for Data Assimilation in Atmospheric Systems