Concept Language with Number Restrictions and Fixpoints, and its Relationship with mu-Calculus