Theory on STM images of an Si(001) surface with steps