Rob Smedley reveals how AWS is powering Formula 1; IT raids, firings