Exact objectives of random linear programs and mean widths of random polyhedrons | Synapse