Relativistic Hartree-Bogoliubov theory for finite nuclei