Which diagnostic tool is used to measure the specific gravity of a lead-acid battery's electrolyte to determine its state of charge?