Thai lingerie maker lays off 753 workers over coronavirus downturn