Statistical methodology for a SMART design in the development of adaptive treatment strategies