It seems like a bunch of people are using docker + CoreOS, is anyone using Docker with Marathon in production?