Exact Schema Theorem and Effective Fitness for GP with One-Point Crossover