UK economy shrinks in July amid bad weather and doctors' strikes