MiRLog and dbmiR: Prioritization and functional annotation tools to study human microRNA sequence variants