An improved branching algorithm for the proper interval edge deletion problem