Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles