Text this: Weak Simplicial Bisimilarity and Minimisation for Polyhedral Model Checking