A FEniCSx tutorial