Prediction of pedigree value of proven bulls during the use of their semen in selection