Формализованное описание технологических возможностей проектируемых станков в рамках методологии структурно-параметрического синтезастатья