The AKSZ construction in derived algebraic geometry as an extended topological field theory