Cloud Distributed File Systems: A Benchmark of HDFS, Ceph, GlusterFS, and XtremeFS