Educating Tux: case studies of Linux deployments in high schools around the world