What do we know about planet formation?