A 5/4-approximation algorithm for biconnecting a graph with a given Hamiltonian path