A survey on HHL algorithm: From theory to application in quantum machine learning