Text this: A framework for proving the computational intractability of motion planning problems