Which theory has provided an explanation for the law of conservation of mass and the law of definite proportions?