stirling engine efficiency derivation