Austrian capital's metro gets a musical revamp