The orthonormal basis for symmetric irreducible representations of O(5) × SU(1, 1) and its application to the interacting boson model