Bochner-type Formulas for the Weyl Tensor on Four-dimensional Einstein Manifolds