Automated procedure to derive convex failure envelope formulations for circular surface foundations under six degrees of freedom loading. (September 2021)