Lower bound limit analysis using finite elements and linear programming | Synapse