Observation of B0-B0 mixing