Exact, conformal-mapping models for the high-frequency losses of coplanar waveguides with thick electrodes of rectangular or trapezoidal cross section