Spanish services sector growth slows slightly in July -PMI