Exploring hyperthermophilic proteins under pressure: theoretical aspects and experimental findings