Maryland’s Michael Leahy led the state’s information technology operation through the pandemic and he shares what the state learned and got right.