Global Boundary Stratotype Section and Point (GSSP) information retrieved from the ISC2012 ontology; Tutorial of the demo portal