Investment firm Permira taps Thoma Bravo veteran Mike Hoffmann as part of AI dealmaking push