Kipchoge shatters his marathon world record in Berlin