Wave Front Set Mapping Theorem for Properly Supported Fourier Integral Kernels