Modal Notebooks: How we built a cloud GPU notebook that boots in seconds