Schema Theory for Genetic Programming with One-Point Crossover and Point Mutation