Added an informal complexity statement for 8 queens puzzle solution based on back-track