Formal Languages over Free Binoids