Application of Process Mining technology to analyze the correspondence of life cycles of information resources to a generalized model