Controlling numpy random seed