Galaxy Gaming revenue up 33% during Q2 2023