Synthesis Gas Production Using Carbon Dioxide as a Source of Carbon—Current Research and Perspectives