Синхронна мова програмування