What is the average BMI of an All-star player?
average BMI refers to AVG (Multiply(Divide(weight, Multiply(height, height)), 703))
SELECT AVG(CAST(T1.weight AS REAL) / (T1.height * T1.height)) FROM players AS T1 INNER JOIN player_allstar AS T2 ON T1.playerID = T2.playerID