A BL algebra on type-2 fuzzy sets