How many ideas where submitted for the air force shark tank