Patrick Baumann, top FIBA official, dead at 51