Variable-order fractional derivative under Hadamard’s finite-part integral: Leibniz-type rule and its applications