A tool for GNSS integrity verification based on statistical extreme value theory