Nonholonomic Controlled Hamiltonian System: Symmetric Reduction and Hamilton-Jacobi Equations