Formal verification of time complexity of some algorithms in Agda