CP violation in the B system