První autonomní elektrická formule z ČVUT