Electromagnetic Wave Propagation Modeling for Finding Antenna Specifications and Positions in Tunnels of Arbitrary Cross-Section