What does player option mean in the NBA