New triterpenes from the leaves of Olea europaea