Markov Logic Networks with Complex Weights: Expressivity, Liftability and Fourier Transforms