Integrative analysis allows a global and precise identification of functional miRNA target genes in mESCs