Mechanism of Olefin Metathesis with Catalysis by Ruthenium Carbene Complexes: Density Functional Studies on Model Systems