Teoretické základy automatizácie konštruovania