HS3D, a Data Set of Homo Sapiens Splice Regions, and its Extraction Procedure from a Major Public Database