Analysis of a High-Order Trace Finite Element Method for PDEs on Level Set Surfaces | Synapse