ConfigBot: Adaptive Resource Allocation for Robot Applications in Dynamic Environments