Bisimilarity on normed Basic Parallel Processes can be decided in time O ( n 3 )