A Modeling-Based Assessment Of Acousto-Optic Sensing For Monitoring High-Intensity Focused Ultrasound Lesion Formation