Prediction of human targets for viral encoded microRNAs by thermodynamics and empirical constraints