Specification of GHC's spineless tagless G-machine and its cost semantics