Choosing a Linux Distribution for Docker Containers