RIP Gal Costa, an influential Brazilian singer