Can someone explain what a “dedicated build server” is and how it differs from traditional CI pipelines like Jenkins/Gitlab?