How much does a roofing tile cost in Namibia?