US consumer credit rises $25.5B in July: Fed