Introduction to the EU proposal for a deforestation regulation