Methanogens: biochemical background and biotechnological applications