MIT man devises marathon formula