US adds three chip-tool makers to export control list