Production and mechanical behavior of micro-encapsulated self-healing cement: a case study