Allocating additional memory to Docker