A semi-analytical model of a time reversal cavity for high-amplitude focused ultrasound applications