Brazilian musician João Gilberto dies aged 88