Modeling and simulation of thermal chlorine etching of gallium arsenide with application to real-time feedback control