Crystal basis theory for quantum affine algebras and combinatorial model of Young walls