SafEDMD: A certified learning architecture tailored to data-driven control of nonlinear dynamical systems