Thickness-vibration analysis of circular AT-CUT quartz resonators partially covered with central electrodes