Miniature Phased-Array Transducer Modeling and Design