Option pricing based on mixtures of distributions: Evidence from the Eurex index and interest rate futures options market