Concept Language with Number Restrictions and Fixpoints, and its Relationship with Mu-calculus