Gravity in non-commutative geometry