lottery contributions to infrastructure