Theoretical Attempts: “In Silico Olefin Metathesis”—How Can Computers Help in the Understanding of Metathesis Mechanisms and in Catalysts Development?