Mason researchers find pet ownership saves $11.7 billion in health care costs