It’s official: Lauretti running for lieutenant governor with Boughton