Gravar-mail: Rules for functional microRNA targeting