DARN! A soft constraint solver for RNA motif localization