Hi. I'm relatively new to Mixpanel. I'd like to find out how many of our users are using Chrome, how many are using Internet Explorer, how many are using Edge etc. In the Live view I can see which browsers are being used by each user, but I can see how to get the total number of users using each type of browser. Does anyone know how to do this?