Semiconductor surface etching by halogens: Fundamental steps