Former New Jersey Gov. Chris Christie files paperwork launching 2024 Republican presidential bid