A finite axiomatization of conditional independence and inclusion dependencies