How can you tell whether a system was a regular btx mivro btx or pico btx?