Trump formally launches 2020 re-election campaign