Double-crystal x-ray diffraction from periodically corrugated crystalline semiconductor surfaces