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