From Product Goals to Hard SLOs and Budgets