Every year the world uses 4 billion tonnes of cement to make the concrete that goes into buildings and other infrastructure. It leaves a huge carbon footprint, and comes with other costs too. Civil ...