Using coalgebras and the Giry monad for interpreting game logics— a tutorial