Barbara Bush discharged from hospital, spokesman says