Modeling and optimization of capacitive micromachined ultrasonic transducers