Convex Optimization for Epidemic Spread Modelling in Nigeria: Finite-Element Discretization and Error Bounds Analysis | Synapse