An Algorithm to Find Frequent Concepts of a Formal Context with Taxonomy