Andersen Corp. to lay off 250 workers