What are the different software platforms for devices, and how many devices have each?
select software_platform, count(*) from device group by software_platform