Designing Tidal Turbine Arrays With PDE-constrained Optimisation